1. Logic programming: 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings
Author: Maurizio Gabbrielli, Gopal Gupta )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Logic programming,Congrغs ، Programmation logique,، Logisch programmeren,، Programmation logique
Classification :
QA
76
.
63
.
I563
2005
2. Principles of logic and logic programming /
Author: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
Classification :
QA76
.
63
.
M473
1996eb
3. The Logic programming paradigm :
Author: K.R. Apt [and others] eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logisch programmeren.,Programmation logique.
Classification :
QA76
.
63
K737
1999
